Semantik und Programmverifikation

Semantische Integration von Ontologien und Ereignisgesteuerten Prozessketten

Dieser Beitrag beschreibt eine Erweiterung der Ereignisgesteuerten Prozesskette (EPK), mit deren Hilfe die in natürlicher Sprache formulierte Semantik der Bezeichner von EPK-Modellelementen durch formale Konzepte einer Ontologie repräsentiert werden kann. Hierfür wird ein mehrschichtiger Ansatz entwickelt, der eine Ontologieebene, eine Metadatenebene sowie eine Modellebene umfasst. Durch den vo...

Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK)

Die Ereignisgesteuerte Prozesskette (EPK) wurde zur Dokumentation von Geschäftsprozessen entwickelt und hat in der Praxis eine weite Verbreitung gefunden. Aufgrund der hohen Akzeptanz und der wachsenden Bedeutung prozessorientierter Organisationsstrukturen dient sie zunehmend als Grundlage für ein integriertes Geschäftsprozessmanagement. Ein durchgängiges Managementkonzept zur werkzeuggestützte...

Koalgebren Monaden und Semantik

Dies ist eine Zusammenfassung der Dissertation [Mi05b] des Autors, welche ihrerseit eine kumulative Arbeit ist, die aus den wissenschaftlichen Artikeln [AMV03, AMV06a, AMV06b, Ac03, Mi05a, Mi02, MM06] besteht. Wir untersuchen mathematische Strukturen, die in der Theorie der Koalgebren auftauchen und die für die Semantik rekursiver Definitionen nützlich sind. Zunächst werden verschiedene neue Ko...

Salton und Wittgenstein in den Humanities: Über die Semantik in Philosophischen Texten

In der Informatik wird die Semantik durch diskriminierende Terme beschrieben. Jedoch fehlen oftmals speziell in philosophischen Texten genau diese gewichtigen Terme. Ausgehend von der oft eingesetzten diskriminierenden Semantik wird am Problem der Sinnund Weisheitssprüche eine kontrastive Semantik vorgestellt. Die eingeführte Methode stellt ein Lessons Learnt aus dem eAQUA-Projekt [BHG08, HBB10...

Semantik und Sentiment: Konzepte, Verfahren und Anwendungen von Text-Mining